Special Section on Formal Methods in Manufacturing
نویسندگان
چکیده
Observability of Switched Linear Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . D. Gómez-Gutiérrez, G. Ramírez-Prado, A. Ramírez-Treviño, and J. Ruiz-León 127 On Formal Analysis of IEC 61499 Applications, Part A: Modeling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . G. Čengić and K. Åkesson 136 On Formal Analysis of IEC 61499 Applications, Part B: Execution Semantics . . . . . . . . . . . . . . . . G. Čengić and K. Åkesson 145 Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . V. Vyatkin and V. Dubinin 155 Modeling Distributed Transportation Systems Composed of Flexible Automated Guided Vehicles in Flexible Manufacturing Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . D. Herrero-Pérez and H. Martínez-Barberá 166
منابع مشابه
Guest Editorial: Special section on software engineering in industrial automation
A CCORDING to many undisputable evidences, the complexity and importance of software in industrial automation systems is growing with a tremendous rate, making software engineering one of the major activities of automation systems developers. In general, software engineering is an established discipline with its methods, traditions and curriculum. Most of its methods and tools are applicable ac...
متن کاملLayout Design of a Furniture Production Line Using Formal Methods
This paper experiments application of different heuristic approaches to a real facility layout problem at a furniture manufacturing company. All the models are compared using AHP, where a number of parameters of interest are employed. The experiment shows that formal layout modelling approaches can be effectively used real problems faced in industry, leading to significant improvements.
متن کاملSpecial section on Software Verification and Testing
We are delighted to present this special section containing extended versions of selected papers from the Software Verification and Testing (SVT 2013) track at the 28th ACM Symposium on Applied Computing (ACM SAC 2013), which took place in March 2013 in Coimbra, Portugal. The SVT track aims to bring together academic researchers and industry R&D expertise to discuss new results in formal verifi...
متن کاملFormal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کاملFormal and Empirical Methods in Philosophy of Science
This essay addresses the methodology of philosophy of science and illustrates how formal and empirical methods can be fruitfully combined. Special emphasis is given to the application of experimental methods to confirmation theory and to recent work on the conjunction fallacy, a key topic in the rationality debate arising from research in cognitive psychology. Several other issue can be studied...
متن کامل